منابع مشابه
Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers
This paper discusses the decidability of determinacy and subsumption for tree transducers. For two tree transducers T1 and T2, T1 determines T2 if the output of T2 is identified by the output of T1, that is, there is a partial function f such that [[T2]] = f ◦ [[T1]] where [[T1]] and [[T2]] are tree transformation relations induced by T1 and T2, respectively. Also, T1 subsumes T2 if T1 determin...
متن کاملEquivalence of Finite-Valued Symbolic Finite Transducers
Symbolic Finite Transducers, or SFTs, is a representation of finite transducers that annotates transitions with logical formulas to denote sets of concrete transitions. This representation has practical advantages in applications for web security analysis, where it provides ways to succinctly represent web sanitizers that operate on large alphabets. More importantly, the representation is also ...
متن کاملOn the Decomposition of Finite-Valued Streaming String Transducers
We prove the following decomposition theorem: every 1-register streaming string transducer that associates a uniformly bounded number of outputs with each input can be effectively decomposed as a finite union of functional 1-register streaming string transducers. This theorem relies on a combinatorial result by Kortelainen concerning word equations with iterated factors. Our result implies the ...
متن کاملSingle Valued Neutrosophic Sets
Neutrosophic set is a part of neutrosophy which studies the origin, nature, and scope of neutralities, as well as their interactions with different ideational spectra. Neutrosophic set is a powerful general formal framework that has been recently proposed. However, neutrosophic set needs to be specified from a technical point of view. To this effect, we define the settheoretic operators on an i...
متن کاملSingle valued neutrosophic multisets
In this paper, we have investigated single valued neutrosophic multisets in detail. Several operations have been defined on them and their important algebraic properties are studied.We have further introduced the notion of distance and similarity measures between two single valued neutrosophic multisets. An application of single valued neutrosophic multisets in medical diagnosis has been discus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1977
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(77)80033-0